A Gramática da Pertinência
Ao contrário dos pares ordenados $(a, b)$ ou $n$-tuplas, onde a posição é fundamental, um conjunto $\{a, b\}$ é definido exclusivamente por seus elementos. Assim, $\{a, b\} = \{b, a\}$. Essa indiferença à sequência permite que nos concentremos na identidade da pertinência.
Uma inclusão $A \subseteq B$ implica que todo elemento de $A$ reside dentro de $B$. No entanto, um subconjunto próprio $A \subset B$ exige mais: $B$ deve conter pelo menos um elemento que seja não em $A$.
O Conjunto das Partes $\mathcal{P}(S)$ é o conjunto de todos os subconjuntos possíveis de $S$. Se $|S| = n$, então $|\mathcal{P}(S)| = 2^n$, mapeando a escala exponencial das possibilidades fundamentais.
A Ponte Lógica: Mecânica dos Conjuntos
As operações sobre conjuntos são as manifestações físicas de pensamentos lógicos:
- União ($A \cup B$): A lógica OU. Elementos pertencentes a $A$ ou $B$.
- Interseção ($A \cap B$): A lógica E. Elementos pertencentes a ambos, $A$ e $B$.
- Conjuntos Disjuntos ($A \cap B = \emptyset$): Condições lógicas mutuamente exclusivas.
Exemplo Resolvido: O Banco de Dados de Alunos
Considere um banco de dados $D_1 = \{\text{Garth, Erin, Marty}\}$. Definimos duas predicações:
- Conjunto $A$: Alunos com mais de 5'10" $\to \{\text{Garth, Marty}\}$.
- Conjunto $B$: Alunos cujos nomes terminam em 'y' $\to \{\text{Marty}\}$.
O Interseção $A \cap B$ resulta em $\{\text{Marty}\}$. Isso demonstra como a lógica "E" filtra uma população com base em critérios sobrepostos. Marty é o único aluno que satisfaz tanto ser alto quanto ter um nome que termina em 'y'.
$x \in A \cap B \iff (x \in A) \land (x \in B)$